Skip to content

Conversation

john-philipp
Copy link
Contributor

See #664.

@ssheorey
Copy link
Member

Thanks @john-philipp !

@ssheorey ssheorey changed the base branch from main to dev December 31, 2024 05:15
@ssheorey ssheorey changed the base branch from dev to main December 31, 2024 05:16
@ssheorey ssheorey merged commit 4a0c974 into isl-org:main Dec 31, 2024
1 of 2 checks passed
@john-philipp
Copy link
Contributor Author

Thanks @ssheorey for including. :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants